PDF Document

Source URL: www.sosy-lab.org

• Data types
• C programming language
• Assertion
• Debugging
• Logic in computer science
• Formal methods
• Pointer
• Model checking
• SLAM project
• Software engineering
• Computer programming
• Computing